Default logic
GPT-4.icon
Default logicは「デフォルトで何かが真である」といった事実を表現することができます。対照的に、標準論理では、何かが真であるか、何かが偽であるかのみを表現することができます。これは、多くの場合には真であるが常にはそうではない事実を持つ推論がよく行われるため、問題となります。典型的な例として「鳥は通常飛ぶ」というルールがあります。このルールは、標準論理では「すべての鳥が飛ぶ」として表現されるか、ペンギンが飛ばないという事実と矛盾する「ペンギンやダチョウなどの例外を除くすべての鳥が飛ぶ」として表現されます。Default logicは、すべての例外を明示的に言及せずに、このような推論ルールを形式化することを目指しています。